Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
501	Chapter 5: Random Sampling and Randomized Rounding of Linear Programs (cp. Williamson & Shmoys, Chapter 5) Add to Reading List Source URL: www.coga.tu-berlin.de Language: English - Date: 2012-11-28 07:15:06 NP-complete problems Combinatorial optimization Analysis of algorithms Logic in computer science Time complexity Boolean satisfiability problem Randomized algorithm Algorithm Maximum satisfiability problem Theoretical computer science Applied mathematics Computational complexity theory
502	Applications of Description Logics to Improve Multimedia Information Retrieval for Efficient Educational Tools Christoph Meinel Serge Linckels Add to Reading List Source URL: www.linckels.lu Language: English - Date: 2013-09-25 04:07:36 Natural language processing Computational linguistics Programming paradigms Semantic search Document retrieval Semantic Web Semantic similarity Web search engine Modal logic Information science Information retrieval Science
503	Unsupervised Entailment Detection between Dependency Graph Fragments Ted Briscoe Computer Laboratory University of Cambridge United Kingdom [removed] Add to Reading List Source URL: aclweb.org Language: English - Date: 2011-05-12 14:17:32 Logical consequence Computational linguistics Textual entailment Entailment Semantic similarity WordNet Distributional hypothesis Argument Opposite Logic Linguistics Science
504	Microsoft PowerPoint - TSAUNICAIRO2014 Add to Reading List Source URL: www.unica-network.eu Language: English - Date: 2014-05-29 05:16:08 Knowledge Erasmus Mundus European Master New University of Lisbon TEMPUS Erasmus Programme European Master Program in Computational Logic Educational policies and initiatives of the European Union Education Academia
505	Shore’s computational reverse mathematics Benedict Eastaugh University of Bristol Philosophy and Computation workshop Lunds universitet Add to Reading List Source URL: extralogical.net Language: English - Date: 2014-05-22 10:36:49 Proof theory Model theory Philosophy of mathematics Computability theory Reverse mathematics Second-order arithmetic First-order logic Impredicativity Axiom Logic Mathematics Mathematical logic
506	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: groups.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
507	PDF Document Add to Reading List Source URL: media.wiley.com Language: English - Date: 2014-04-21 16:22:40 Logic Computational neuroscience Fuzzy logic Logic in computer science Neural networks Artificial neural network Mathematical model Machine learning Computational intelligence Science Artificial intelligence Mathematics
508	Toward Facilitating Assistance to Students Attempting Engineering Design Problems Elena L. Glassman Ned Gulley Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-27 16:23:59 British people Turing machine Alan Turing Computability theory Algorithm Mathematical logic Computational complexity theory Genetic algorithm Theoretical computer science Applied mathematics Mathematics
509	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
510	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics

UPDATE